1

Constants in Kripke Models for Intuitionistic Logic

Year:
1995
Language:
english
File:
PDF, 617 KB
english, 1995
2

Fixed-points of Set-continuous Operators

Year:
2000
Language:
english
File:
PDF, 307 KB
english, 2000
3

Typical ambiguity and elementary equivalence

Year:
1993
Language:
english
File:
PDF, 577 KB
english, 1993
4

Intuitionistic typical ambiguity

Year:
1992
Language:
english
File:
PDF, 575 KB
english, 1992
6

Models of intuitionistic TT and NF

Year:
1995
Language:
english
File:
PDF, 840 KB
english, 1995
7

Finite Sets and Natural Numbers in Intuitionistic TT without Extensionality

Year:
1998
Language:
english
File:
PDF, 1.00 MB
english, 1998
8

Finite Sets and Natural Numbers in Intuitionistic TT

Year:
1996
Language:
english
File:
PDF, 151 KB
english, 1996